module utf8_module() {
    echo("Hello from a file with a UTF-8 name");
}
